Providing trusted execution environments using FPGA

Trusted Execution Environments (TEEs) drastically reduce the trusted computing base (TCB) of the systems by providing a secure execution environment for security-critical applications that are isolated from the operating system or the hypervisor. TEEs are often assumed to be highly secure; however, over the last few years, TEEs have been proven weak, as either TEEs built upon security-oriented hardware extensions (e.g., Arm TrustZone and Intel SGX) or resorting to dedicated secure elements were exploited multiple times. In this paper, we propose a novel TEE design, named Trusted Execution Environments On-Demand (TEEOD), which leverages the re configurable logic of FPGA-SoCs to dynamically provide secure execution environments for security-critical applications. Unlike other TEE designs, ours can provide high-bandwidth connections and physical on-chip isolation while providing configurable hard ware and software TCBs. We implemented a proof-of-concept (PoC) implementation targeting an Ultra96-V2 platform. The conducted evaluation demonstrated TEEOD can host up to 6 simultaneous enclaves with a resource usage per enclave of 7.0%, 3.8%, and 15.3% of the total LUTs, FFs, and BRAMS, respectively

Lock-V: a heterogeneous fault tolerance architecture based on Arm and RISC-V

This article presents Lock-V, a heterogeneous fault tolerance architecture that explores a dual-core lockstep (DCLS) technique to mitigate single event upset (SEU) and common-mode failure (CMF) problems. The Lock-V was deployed in two versions, Lock-VA and Lock-VM by applying design diversity in two processor architectures at the instruction set architecture (ISA)-level. Lock-VA features an Arm Cortex-A9 with a RISC-V RV64GC, while Lock-VM includes an Arm Cortex-M3 along with a RISC-V RV32IMA processor. The solution explores fieldprogrammable gate array (FPGA) technology to deploy softcore versions of the RISC-V processors, and dedicated accelerators for performing error detection and triggering the software rollback system used for error recovery. To test Lock-V in both versions, a fault-injection mechanism was implemented to cause bit-flips in the processor registers, a common problem usually present in heavy radiation environments.This work has been supported by FCT - Fundação para a Ciência e a Tecnologia within the R&D Units Project Scope: UIDB/00319/2020

Towards a heterogeneous fault-tolerance architecture based on Arm and RISC-V processors

Computer systems are permanently present in our daily basis in a wide range of applications. In systems with mixed-criticality requirements, e.g., autonomous driving or aerospace applications, devices are expected to continue operating properly even in the event of a failure. An approach to improve the robustness of the device's operation lies in enabling faulttolerant mechanisms during the system's design. This article proposes Lock-V, a heterogeneous architecture that explores a Dual-Core Lockstep (DCLS) fault-tolerance technique in two different processing units: a hard-core Arm Cortex-A9 and a softcore RISC-V-based processor. It resorts a System-on-Chip (SoC) solution with software programmability (available trough the hard-core Arm Cortex-A9) and field-programmable gate array (FPGA) technology, taking advantages from the latter to support the deployment of the RISC-V soft-core along with dedicated hardware accelerators towards the realization of the DCLS.This work has been supported by national funds through FCT -Fundação para a Ciência e a Tecnologia within the Project Scope: UID/CEC/00319/2019

Arquitetura heterogénea de tolerância a falhas baseada em processadores Arm e RISC-V

Dissertação de mestrado em Engenharia Eletrónica Industrial e ComputadoresSafety-critical systems deployed in harsh environments rely on fault tolerance and redundancy techniques to keep them operating even in the presence of faults. Although there are effective techniques to mitigate one side faults, they are not enough to protect the system against simultaneously multi side faults. These kinds of faults trigger the same error in faulty redundant components, which makes resulting errors invisible and undetectable for fault tolerant mechanisms. To overcome this problem, design diversity is applied in fault tolerant system to mitigate the Common-Mode Failure (CMF) and build a more robust and reliable system. Despite several fault tolerance architectures based on FPGA are available in the literature, to the best of our knowledge, none of them aims both hardening of heterogeneous processors and applying design diversity at processor level. To address this lack of solutions in the current state of the art, this dissertation proposes a novel heterogeneous fault tolerance architecture, Lock-V, which enables design diversity at processors architecture level. It deals with CMF, as well as both error detection and recovery fault tolerance techniques to mitigate errors triggered by external environment interactions, e.g., radiation. To eliminate the CMF, Lock-V explores an implementation based on different processing units: a hard-core Arm Cortex-A9 and a soft-core RISC-V-based processors, to leverage design diversity through ISA heterogeneity. To implement fault tolerance, Lock-V proposes a hybrid DCLS solution where the error detection is done by hardware, resorting to a FPGA accelerator, while error recovery is performed by software using rollback technique. After the deployment of Lock-V on a Zynq-7000 SoC, over 45000 faults were injected. The results taken from such injection shows that when an application runs on the Lock-V architecture, besides its protection against the CMF due to processors design diversity, it is also protected against 97% of the triggered errors. Nevertheless implement Lock-V came up with some tradeoffs. It used 79% of the LUT and 34% of the FF available on the Zedboard FPGA platform. Regarding the software part, implementing Lock-V leads to an 8% increase in memory footprint and also an increase in the execution overhead around 12%, mainly in the worst case scenario as tested in the absence of errors. Knowing that all the redundancy has its cost, Lock-V proved to be able to grant a system with design diversity and fault tolerance capabilities.Quando sistemas críticos operam em ambientes hostis, estes necessitam de serviços de redundância e de tolerância a falhas para continuarem em funcionamento mesmo na presença de faltas. Embora a técnica de tolerância a falhas seja eficaz para mitigar faltas que ocorrem num único componente, ela perde eficácia, quando múltiplas faltas acontecem simultaneamente em vários componentes. Estes tipos de faltas, despoletam o mesmo erro em todos os componentes afetados, tornando-as indetectáveis. Para solucionar este problema, usualmente, recorre-se a diversidade de desenho para mitigar as Falhas de Modo Comum (FMC), construindo assim um sistema mais robusto e confiável. Várias arquiteturas de tolerância a falhas, baseadas em Field-Programmable Gate Array (FPGA), têm sido descritas na literatura, no entanto, pelas pesquisas efetuadas, nenhuma delas tem como objetivo proteger processadores heterogéneos e aplicar diversidade de desenho ao nível do processador. Para resolver a supracitada falta de soluções, esta dissertação propõe uma nova arquitetura heterogénea de tolerância a falhas, Lock-V. O Lock-V promove diversidade de desenho, ao nível da arquitetura do processador, assim como técnicas de tolerância a falhas para, respetivamente, mitigar FMC e detetar e recuperar erros despoletados por causas externas, por exemplo, radiação. Para eliminar as FMC, o Lock-V possuí duas unidades de processamento diferentes: um hard-core Arm Cortex-A9 e um soft-core baseado em RISC-V. Desta forma é aplicada diversidade de desenho, usando heterogeneidade no Instruction Set Architecture (ISA). Por outro lado, para implementar tolerância a falhas, o Lock-V propõe uma solução híbrida de Dual-Core Lockstep (DCLS), onde a deteção de erros é feita em hardware, recorrendo a um acelerador na FPGA, e a recuperação dos erros é suportado por software, usando técnicas de rollback. Após o Lock-V ser implementado na Zynq-7000 System-on-Chip (SoC), mais de 45000 faltas foram injetadas. Os resultados dessa injeção mostram que quando uma aplicação executa na arquitetura Lock-V, para além de estar protegida contra FMC, devido à diversidade do desenho ao nível dos processadores, também está protegida contra 97% dos erros ocorridos. No entanto, implementar o Lock-V acarreta alguns tradeoffs. 79% das Look-Up Tables (LUT) e 34% dos Flip-Flops (FF) disponíveis na plataforma (Zedboard), são usados. Ao nível do software, o Lock-V aumenta em 8% o consumo de memoria e, para o pior cenário testando sem a ocorrência de erros, aumenta em 12% o overhead de execução. Tendo em conta que toda a redundância tem o seu custo, o Lock-V provou ser capaz de dotar um sistema com diversidade de desenho e capacidades de tolerância a falhas

Obras clásicas para la historia de las Islas del Atlántico [Recurso electrónico]

PC 486; 8 Mb de memoria RAM; MS-DOS 6.0 y Microsoft Windows 3.1 o superior; Espacio libre superior a 10 Mb; Monitor VGA, resolución 800x600; Lector de CD-ROM local o en red.Tít. tomado de la etiquetaAlamada, Andrés Alvares De: Tratado breve dos rios de Guiné. Lisboa: [s. n.], 1946. -- Almada, Vicente Pinheiro Lobo Machado De Mello E: As ilhas de S. Thomé e Principe: (notas de uma Administração Colonial). Lisboa: Typographia da Academia Real das Sciencias, 1884. -- Almeida, João María De Sousa E: As plantações de Cacau nas Ilhas de S. Thomé e Principe em 1851 a 1858. Lisboa: Typographia da Companhia Nacional Editora, 1898. -- Andrade, Jerónimo Emiliano De: Topographia ou Descripção phisica, politica, civil, ecclesiastica, e historica da ilha Terceira dos Açores: Parte primeira. [Angra do Heroismo]: Livraria Religiosa, 1891. -- Avellar, José Candido Da Silveira: Ilha de S. Jorge (Açores): apontamentos para a sua historia. Horta: Typ. Minerva Insulana, 1902. -- Azevedo, Alvaro Rodrigues De: As saudades da terra: Historia das ilhas do Porto-Sancto, Madeira, Desertas e Selvagens. Funchal: Typ. Funchalense, 1873. -- Barcellos, Christiano José De Senna: Subsidios para a historia de Cabo Verde e Guiné: Memoria apresentada a Academia Real das Sciencias de Lisboa [3 vol.]. [Lisboa?]: [s. n.], [s. d.]. -- Barcellos, Christiano José De Senna: Roteiro do Archipelago de Cabo Verde. Lisboa: Typographia do Jornal, 1892. -- Barcellos, Christiano José De Senna: Alguns apontamentos sobre as fomes em Cabo-Verde desde 1719 a 1904. Lisboa: Typ. da Cooperativa Militar, 1904. -- Bettencourt, E. A.: Memoria sobre a descoberta das Ilhas de Porto Santo e Madeira 1418-1419: (Fragmento de um livro inedito). Porto: Typographia do Commercio do Porto, 1875. -- Calle, Henrique F. F.: A revolta na Madeira e a commissão de inquerito: Breves considerações e apontamentos. Madeira: Typographia Funchalense, 1888. -- Camara, Paulo Perestrello Da: Breve noticia sobre a Ilha da Madeira ou Memorias sobre a sua Geographia, Historia, Geologia, Topographia, Agricultura, Commercio, etc. offerecida a Sua Magestade Fidelissima a Sr.ª D.ª Maria Segunda. Lisboa: Typographia da A. das Bellas Artes, 1841. -- V Centenario do Descobrimento da Madeira: Publicação Comemorativa: Dezembro de 1922. [S. l.]: Comissão de Propaganda e Publicidade do Centenario, 1922. -- Chelmicki, José Conrado Carlos De: Corografia cabo-verdiana ou descripção geographico-historica da Provincia das Ilhas de Cabo-Verde e Guiné [2 vol.]. Lisboa: Typ. de L. C. da Cunha, 1841. -- Cordeyro, Antonio: Historia Insulana das Ilhas a Portugal sugeytas no Oceano Occidental. Lisboa: Na Officina de Antonio Pedrozo Galram, 1717. -- Corrêa, Marquez De Jacome: A ilha da Madeira: impressões e notas archeologicas ruraes, artisticas e sociaes: escriptas de janeiro a maio de 1923. Coimbra: Imprensa da Universidade, 1927. -- Costa, Henrique C. S. Barahona E: Carteira de um africanista (excerpto): Apontamentos sobre as fortalezas de S. Thomé e Principe. Lisboa: Typographia do Commercio, 1910. -- Costa, Josquim Vieira Botelho Da: A ilha de S. Vicente de Cabo Verde: 1886 a 1891. Lisboa: Imprensa Nacional, 1896. -- Cunha, Henrique De Lima E: Plano de melhoramentos para a Ilha da Madeira. Lisboa: Imprensa Democratica, 1879. -- Dias, Urbano De Mendoça: Historia dos Açores. Vila-franca do Campo: Agencia de Obras Literarias de Antonio Silveiro deMedeiros, [s. d.]. -- Drummond, Francisco Ferreira: Annaes da ilha Terceira [4 vol.]. Angra do Heroismo: Publicadas pela Camara Municipal d’Angra do Heroismo, 1856- 1864. -- Faro, Conde De Sousa E: A Ilha de S. Thomé e a Roça Agua-Izé. Lisboa: Typ. do Annuario Commercial, 1908. -- Feijó, João Da Silva: Memoria sobre a Fábrica Real do Anil da Ilha de Santo Antão. Lisboa: Academia Real das Sciencias de Lisboa, 1789. -- Feijó, João Da Silva: Ensaio economico sobre as Ilhas de Cabo Verde em 1797. Lisboa: Academia Real das Sciencias, 1815. -- Feijó, João Da Silva: Memoria sobre a Urzella de Cabo Verde. Lisboa: Academia Real das Sciencias de Lisboa, 1815. -- Freitas, Jordão De: Quando foi descoberta a Madeira?: resenha historica. Lisboa: Imprensa Libanio da Silva, 1911. -- Friedlaender, Immanuel: Subsidios para o conhecimento das ilhas de Cabo Verde: resultados de uma viagem de estudo no verão da 1912. Lisboa: Tipografia da Cooperativa Militar, 1914. -- Henriques, Julio A.: A ihla de S. Tomé sob o ponto de vista historico-natural e agrícola. Coimbra: Imprensa da Universidade, 1917. -- Inso, Egydio: As Ilhas de S. Tomé e Principe: Terras de Pedro Escobar e João de Santarem. [S. Tomé?]: Imprensa Nacional de S. Tomé, 1922. -- Lereno, Álvaro: Dicionário corográfico do Arquipélago de Cabo Verde. [S. l.]: Divisão de publicações e biblioteca: Agencia Geral do Ultramar, 1952. -- Lima, Gervasio: A Patria Açoreana. Angra do Heroismo: Tip. Editora Açoreana de Manuel de Freitas Mariano, 1928. -- Lima, Marcelino: Familias Faialenses: (Subsidios para a história da ilha do Faial). Horta: Tipografia “Minerva Insulana”, 1922. -- Loureiro, Adolpho: Breves noticias sobre os Archipelagos da Madeira, Açores, Cabo Verde e Canarias; conferencias feitas na Associação dos Engenheiros Civis Portuguezes. Lisboa: Imprensa Nacional, 1898. -- Machado, Francisco Soares De Lacerda: História do Concelho das Lages: Tomo I. [S. l.]: [s. n.], [1723?]. (**) -- Matos, Raimundo José Da Cunha: Corografia historica das Ilhas de S. Tomé e Principe, Ano Bom e Fernando Pó. S. Tomé: Imprensa Nacional, 1916. -- Moniz, Silveira: Terras Açoreanas: (Notas chorographicas e historicas, ilustradas). Lisboa: Typ. do «Pimpão», 1906. -- Nascimiento, JoãO Cabral Do: Apontamentos de História Insular. [Funchal]: [s. n.] (Madeirense Editora, Lda.), 1927. -- Nascimiento, JoãO Cabral Do: Documentos para a história das capitanias da Madeira. Lisboa: [s. n.] (Ottosgrafica), 1930. -- Negreiros, Antonio Lobo De Almada: Historia etnographica da Ilha de S. Thomé. Lisboa: Antiga Casa Bertrand-José Bastos, 1895. -- Nogueira, A. F.: A Ilha de S. Thomé a questão bancaria no ultramar e o nosso problema colonial. Lisboa: Typ. do Jornal as Colonias Portuguezas, 1893. -- Peres, Damiaõ: O desembargador João Leitão: Primeiro Governador Geral da Madeira. Porto: [s. n.], [19??]. -- Peres, Damiaõ: A Madeira sob os Donatarios: Sec. XV e XVI. Funchal: [s. n.], 1914. -- Peres, Damiaõ: O problema dos governadores gerais da ilha da Madeira. Porto: [Faculdade de letras da Universidade do Porto?], 1925. -- Rebello, Ernesto: Notas Açorianas. Ponta Delgada: Typ. do Archivo dos Açores, 1885-87. -- Rebelo, Pequeno: As Ilhas do Cacáu: crónicas e impressões do que é a vida e aperfeiçoamento da agricultura de S. Tomé e Principe. Lisboa: Pequeño Rebelo, 1930. -- Ribeiro, Manuel Ferreira: A provincia de S. Thomé e Principe e suas dependencias ou a salubridade e insalubridade relativadas provincias do Brazil, das colonias de Portugal e de outras Nações da Europa. Lisboa: Imprensa Nacional, 1877. -- Sampaio, Alfredo Da Silva: Memoria sobre a Ilha Terceira. Angra do Heroismo: Imprensa Municipal, 1904. -- Serpa, Antonio Ferreira De: Os flamengos na ilha do Faial: A familia Utra (Hurtere). Lisboa: [s. n.] (Centro tipografico colonial), 1929. -- Silva, Fernando Augusto Da: A Sé catedral do Funchal: Breve Noticia Histórica e Descritiva. Funchal: Fernando Augusto da Silva, 1936. -- Silva, Francisco Ferreira Da: Apontamentos para a historia da administração da Diocese e da organisação do Seminario Lyceu: Acompanhados de photographias e mappas estatisticos. Lisboa: Typographia Minerva Central, 1899. -- SOUSA, JOÃO SOARES DE ALBERGARIA DE: Corographia açorica, ou descripção phizica, politica, e histórica dos Açores. Lisboa: Na Imprensa de Jolo Nunes Esteves, 1822. -- Telles, Alberto: Chorographia Geral dos Açores. Lisboa: Imprensa Nacional, 1889. -- Vasconcellos, Ernesto J. De C. E: Colonias Portuguezas, I: Archipelago de Cabo Verde: Estudo elementar de Geographia phisica, economica e politica. Lisboa: [s. n.] (Centro tipographico colonial), 1916. -- Vasconcellos, Ernesto J. De C. E: S. Tomé e Principe: Estudo elementar de Geografia fisica, economica e politica: Colonias portuguesas tomo III. Lisboa: Tip. da cooperativa militar, 1918

Obras clásicas para la historia de las Islas del Atlántico [Recurso electrónico]

PC 486; 8 Mb de memoria RAM; MS-DOS 6.0 y Microsoft Windows 3.1 o superior; Espacio libre superior a 10 Mb; Monitor VGA, resolución 800x600; Lector de CD-ROM local o en red.Tít. tomado de la etiquetaAlamada, Andrés Alvares De: Tratado breve dos rios de Guiné. Lisboa: [s. n.], 1946. -- Almada, Vicente Pinheiro Lobo Machado De Mello E: As ilhas de S. Thomé e Principe: (notas de uma Administração Colonial). Lisboa: Typographia da Academia Real das Sciencias, 1884. -- Almeida, João María De Sousa E: As plantações de Cacau nas Ilhas de S. Thomé e Principe em 1851 a 1858. Lisboa: Typographia da Companhia Nacional Editora, 1898. -- Andrade, Jerónimo Emiliano De: Topographia ou Descripção phisica, politica, civil, ecclesiastica, e historica da ilha Terceira dos Açores: Parte primeira. [Angra do Heroismo]: Livraria Religiosa, 1891. -- Avellar, José Candido Da Silveira: Ilha de S. Jorge (Açores): apontamentos para a sua historia. Horta: Typ. Minerva Insulana, 1902. -- Azevedo, Alvaro Rodrigues De: As saudades da terra: Historia das ilhas do Porto-Sancto, Madeira, Desertas e Selvagens. Funchal: Typ. Funchalense, 1873. -- Barcellos, Christiano José De Senna: Subsidios para a historia de Cabo Verde e Guiné: Memoria apresentada a Academia Real das Sciencias de Lisboa [3 vol.]. [Lisboa?]: [s. n.], [s. d.]. -- Barcellos, Christiano José De Senna: Roteiro do Archipelago de Cabo Verde. Lisboa: Typographia do Jornal, 1892. -- Barcellos, Christiano José De Senna: Alguns apontamentos sobre as fomes em Cabo-Verde desde 1719 a 1904. Lisboa: Typ. da Cooperativa Militar, 1904. -- Bettencourt, E. A.: Memoria sobre a descoberta das Ilhas de Porto Santo e Madeira 1418-1419: (Fragmento de um livro inedito). Porto: Typographia do Commercio do Porto, 1875. -- Calle, Henrique F. F.: A revolta na Madeira e a commissão de inquerito: Breves considerações e apontamentos. Madeira: Typographia Funchalense, 1888. -- Camara, Paulo Perestrello Da: Breve noticia sobre a Ilha da Madeira ou Memorias sobre a sua Geographia, Historia, Geologia, Topographia, Agricultura, Commercio, etc. offerecida a Sua Magestade Fidelissima a Sr.ª D.ª Maria Segunda. Lisboa: Typographia da A. das Bellas Artes, 1841. -- V Centenario do Descobrimento da Madeira: Publicação Comemorativa: Dezembro de 1922. [S. l.]: Comissão de Propaganda e Publicidade do Centenario, 1922. -- Chelmicki, José Conrado Carlos De: Corografia cabo-verdiana ou descripção geographico-historica da Provincia das Ilhas de Cabo-Verde e Guiné [2 vol.]. Lisboa: Typ. de L. C. da Cunha, 1841. -- Cordeyro, Antonio: Historia Insulana das Ilhas a Portugal sugeytas no Oceano Occidental. Lisboa: Na Officina de Antonio Pedrozo Galram, 1717. -- Corrêa, Marquez De Jacome: A ilha da Madeira: impressões e notas archeologicas ruraes, artisticas e sociaes: escriptas de janeiro a maio de 1923. Coimbra: Imprensa da Universidade, 1927. -- Costa, Henrique C. S. Barahona E: Carteira de um africanista (excerpto): Apontamentos sobre as fortalezas de S. Thomé e Principe. Lisboa: Typographia do Commercio, 1910. -- Costa, Josquim Vieira Botelho Da: A ilha de S. Vicente de Cabo Verde: 1886 a 1891. Lisboa: Imprensa Nacional, 1896. -- Cunha, Henrique De Lima E: Plano de melhoramentos para a Ilha da Madeira. Lisboa: Imprensa Democratica, 1879. -- Dias, Urbano De Mendoça: Historia dos Açores. Vila-franca do Campo: Agencia de Obras Literarias de Antonio Silveiro deMedeiros, [s. d.]. -- Drummond, Francisco Ferreira: Annaes da ilha Terceira [4 vol.]. Angra do Heroismo: Publicadas pela Camara Municipal d’Angra do Heroismo, 1856- 1864. -- Faro, Conde De Sousa E: A Ilha de S. Thomé e a Roça Agua-Izé. Lisboa: Typ. do Annuario Commercial, 1908. -- Feijó, João Da Silva: Memoria sobre a Fábrica Real do Anil da Ilha de Santo Antão. Lisboa: Academia Real das Sciencias de Lisboa, 1789. -- Feijó, João Da Silva: Ensaio economico sobre as Ilhas de Cabo Verde em 1797. Lisboa: Academia Real das Sciencias, 1815. -- Feijó, João Da Silva: Memoria sobre a Urzella de Cabo Verde. Lisboa: Academia Real das Sciencias de Lisboa, 1815. -- Freitas, Jordão De: Quando foi descoberta a Madeira?: resenha historica. Lisboa: Imprensa Libanio da Silva, 1911. -- Friedlaender, Immanuel: Subsidios para o conhecimento das ilhas de Cabo Verde: resultados de uma viagem de estudo no verão da 1912. Lisboa: Tipografia da Cooperativa Militar, 1914. -- Henriques, Julio A.: A ihla de S. Tomé sob o ponto de vista historico-natural e agrícola. Coimbra: Imprensa da Universidade, 1917. -- Inso, Egydio: As Ilhas de S. Tomé e Principe: Terras de Pedro Escobar e João de Santarem. [S. Tomé?]: Imprensa Nacional de S. Tomé, 1922. -- Lereno, Álvaro: Dicionário corográfico do Arquipélago de Cabo Verde. [S. l.]: Divisão de publicações e biblioteca: Agencia Geral do Ultramar, 1952. -- Lima, Gervasio: A Patria Açoreana. Angra do Heroismo: Tip. Editora Açoreana de Manuel de Freitas Mariano, 1928. -- Lima, Marcelino: Familias Faialenses: (Subsidios para a história da ilha do Faial). Horta: Tipografia “Minerva Insulana”, 1922. -- Loureiro, Adolpho: Breves noticias sobre os Archipelagos da Madeira, Açores, Cabo Verde e Canarias; conferencias feitas na Associação dos Engenheiros Civis Portuguezes. Lisboa: Imprensa Nacional, 1898. -- Machado, Francisco Soares De Lacerda: História do Concelho das Lages: Tomo I. [S. l.]: [s. n.], [1723?]. (**) -- Matos, Raimundo José Da Cunha: Corografia historica das Ilhas de S. Tomé e Principe, Ano Bom e Fernando Pó. S. Tomé: Imprensa Nacional, 1916. -- Moniz, Silveira: Terras Açoreanas: (Notas chorographicas e historicas, ilustradas). Lisboa: Typ. do «Pimpão», 1906. -- Nascimiento, JoãO Cabral Do: Apontamentos de História Insular. [Funchal]: [s. n.] (Madeirense Editora, Lda.), 1927. -- Nascimiento, JoãO Cabral Do: Documentos para a história das capitanias da Madeira. Lisboa: [s. n.] (Ottosgrafica), 1930. -- Negreiros, Antonio Lobo De Almada: Historia etnographica da Ilha de S. Thomé. Lisboa: Antiga Casa Bertrand-José Bastos, 1895. -- Nogueira, A. F.: A Ilha de S. Thomé a questão bancaria no ultramar e o nosso problema colonial. Lisboa: Typ. do Jornal as Colonias Portuguezas, 1893. -- Peres, Damiaõ: O desembargador João Leitão: Primeiro Governador Geral da Madeira. Porto: [s. n.], [19??]. -- Peres, Damiaõ: A Madeira sob os Donatarios: Sec. XV e XVI. Funchal: [s. n.], 1914. -- Peres, Damiaõ: O problema dos governadores gerais da ilha da Madeira. Porto: [Faculdade de letras da Universidade do Porto?], 1925. -- Rebello, Ernesto: Notas Açorianas. Ponta Delgada: Typ. do Archivo dos Açores, 1885-87. -- Rebelo, Pequeno: As Ilhas do Cacáu: crónicas e impressões do que é a vida e aperfeiçoamento da agricultura de S. Tomé e Principe. Lisboa: Pequeño Rebelo, 1930. -- Ribeiro, Manuel Ferreira: A provincia de S. Thomé e Principe e suas dependencias ou a salubridade e insalubridade relativadas provincias do Brazil, das colonias de Portugal e de outras Nações da Europa. Lisboa: Imprensa Nacional, 1877. -- Sampaio, Alfredo Da Silva: Memoria sobre a Ilha Terceira. Angra do Heroismo: Imprensa Municipal, 1904. -- Serpa, Antonio Ferreira De: Os flamengos na ilha do Faial: A familia Utra (Hurtere). Lisboa: [s. n.] (Centro tipografico colonial), 1929. -- Silva, Fernando Augusto Da: A Sé catedral do Funchal: Breve Noticia Histórica e Descritiva. Funchal: Fernando Augusto da Silva, 1936. -- Silva, Francisco Ferreira Da: Apontamentos para a historia da administração da Diocese e da organisação do Seminario Lyceu: Acompanhados de photographias e mappas estatisticos. Lisboa: Typographia Minerva Central, 1899. -- SOUSA, JOÃO SOARES DE ALBERGARIA DE: Corographia açorica, ou descripção phizica, politica, e histórica dos Açores. Lisboa: Na Imprensa de Jolo Nunes Esteves, 1822. -- Telles, Alberto: Chorographia Geral dos Açores. Lisboa: Imprensa Nacional, 1889. -- Vasconcellos, Ernesto J. De C. E: Colonias Portuguezas, I: Archipelago de Cabo Verde: Estudo elementar de Geographia phisica, economica e politica. Lisboa: [s. n.] (Centro tipographico colonial), 1916. -- Vasconcellos, Ernesto J. De C. E: S. Tomé e Principe: Estudo elementar de Geografia fisica, economica e politica: Colonias portuguesas tomo III. Lisboa: Tip. da cooperativa militar, 1918